Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
HELM and the Semantic Math-Web
2001-01-01 ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I
Hercules: Scalable and Network Portable In-Memory Ad-Hoc File System for Data-Centric and High-Performance Applications
2023-01-01 Garcia-Blas J.; Sanchez-Gallegos G.; Petre C.; Martinelli A.R.; Aldinucci M.; Carretero J.
Higer-Order Linear Ramified Recurrence
2004-01-01 U. DAL LAGO; MARTINI; L. ROVERSI
High-Performance Haplotype Assembly
2015-01-01 Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati
I-Java: an extension of Java with incomplete objects and object composition
2009-01-01 Lorenzo Bettini; Viviana Bono; Erica Turin
Identification, Validation and Certification of previous skills to support vulnerable worker in post pandemic dynamics
2022-01-01 D.Robasto
The Impact of CPU Frequency Scaling on Power Consumption of Computing Infrastructures
2020-01-01 Adriano Marques Garcia, Matheus Serpa, Dalvan Griebler, Claudio Schepke, Luiz G. L. Fernandes, Philippe O. A. Navaux
An Imperative First-Order Calculus with Object Extension
1998-01-01 V. Bono;K. Fisher
The Implementation of ASSIST, an Environment for Parallel and Distributed Programming
2004-01-01 Marco Aldinucci; Sonia Campa; Pierpaolo Ciullo; Massimo Coppola; Silvia Magini; Paolo Pesciullesi; Laura Potiti; Roberto Ravazzolo; Massimo Torquati; Marco Vanneschi; Corrado Zoccolo
Implementing Session Centered Calculi
2008-01-01 Lorenzo Bettini; Rocco De Nicola; Michele Loreti
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker
2013-01-01 Amparore, Elvio Gilberto; and Donatelli, Susanna
An inference algorithm for strictness
1997-01-01 Ferruccio Damiani; Paola Giannini
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
2013-01-01 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Information diffusion in complex networks: a model based on hypergraphs and its analysis
2020-01-01 Antelmi A.; Cordasco G.; Spagnuolo C.; Szufel P.
Innovative TV: From an Old Standard to a New Concept of Interactive TV - An Italian Job
2007-01-01 R. Simeoni; L. Eltzer; E. Guercio; M. Perrero; A. Rapp; R. Montanari; F. Tesauri
Interaction with Web Services in the Adaptive Web
2004-01-01 ARDISSONO L; GOY A; PETRONE G; SEGNAN M
Interactive chart of story characters’ intentions
2016-01-01 Lombardo, Vincenzo; Pizzo, Antonio; Damiano, Rossana; Terzulli, Carmi; Albert, Giacomo
Interconnection of large scale unstructured P2P networks: modeling and analysis
2013-01-01 V. Ciancaglini; R. Gaeta; R. Loti; L. Liquori
Internal Normalization, Compilation and Decompilation for System F
2010-01-01 Stefano Berardi; Makoto Tatsuta
Interpretations of Extensible Objects and Types
1999-01-01 V. Bono;M. Bugliesi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
HELM and the Semantic Math-Web | 2001 | ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I | |
Hercules: Scalable and Network Portable In-Memory Ad-Hoc File System for Data-Centric and High-Performance Applications | 2023 | Garcia-Blas J.; Sanchez-Gallegos G.; Petre C.; Martinelli A.R.; Aldinucci M.; Carretero J. | |
Higer-Order Linear Ramified Recurrence | 2004 | U. DAL LAGO; MARTINI; L. ROVERSI | |
High-Performance Haplotype Assembly | 2015 | Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati | |
I-Java: an extension of Java with incomplete objects and object composition | 2009 | Lorenzo Bettini; Viviana Bono; Erica Turin | |
Identification, Validation and Certification of previous skills to support vulnerable worker in post pandemic dynamics | 2022 | D.Robasto | |
The Impact of CPU Frequency Scaling on Power Consumption of Computing Infrastructures | 2020 | Adriano Marques Garcia, Matheus Serpa, Dalvan Griebler, Claudio Schepke, Luiz G. L. Fernandes, Philippe O. A. Navaux | |
An Imperative First-Order Calculus with Object Extension | 1998 | V. Bono;K. Fisher | |
The Implementation of ASSIST, an Environment for Parallel and Distributed Programming | 2004 | Marco Aldinucci; Sonia Campa; Pierpaolo Ciullo; Massimo Coppola; Silvia Magini; Paolo Pesciullesi; Laura Potiti; Roberto Ravazzolo; Massimo Torquati; Marco Vanneschi; Corrado Zoccolo | |
Implementing Session Centered Calculi | 2008 | Lorenzo Bettini; Rocco De Nicola; Michele Loreti | |
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker | 2013 | Amparore, Elvio Gilberto; and Donatelli, Susanna | |
An inference algorithm for strictness | 1997 | Ferruccio Damiani; Paola Giannini | |
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions | 2013 | Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida | |
Information diffusion in complex networks: a model based on hypergraphs and its analysis | 2020 | Antelmi A.; Cordasco G.; Spagnuolo C.; Szufel P. | |
Innovative TV: From an Old Standard to a New Concept of Interactive TV - An Italian Job | 2007 | R. Simeoni; L. Eltzer; E. Guercio; M. Perrero; A. Rapp; R. Montanari; F. Tesauri | |
Interaction with Web Services in the Adaptive Web | 2004 | ARDISSONO L; GOY A; PETRONE G; SEGNAN M | |
Interactive chart of story characters’ intentions | 2016 | Lombardo, Vincenzo; Pizzo, Antonio; Damiano, Rossana; Terzulli, Carmi; Albert, Giacomo | |
Interconnection of large scale unstructured P2P networks: modeling and analysis | 2013 | V. Ciancaglini; R. Gaeta; R. Loti; L. Liquori | |
Internal Normalization, Compilation and Decompilation for System F | 2010 | Stefano Berardi; Makoto Tatsuta | |
Interpretations of Extensible Objects and Types | 1999 | V. Bono;M. Bugliesi |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile